Sammendrag: Hva er den definitive referansen eller referanseimplementeringen for RISC-V brukernivå ISA? Kontekst: RISC-V-nettstedet har "The RISC-V Instruction Set Manual" som forklarer instruksjonene på brukernivå veldig bra, men gir ikke en nøyaktig spesifikasjon for dem. Jeg prøver å bygge en brukernivå ISA-simulator nå og har tenkt å skrive en FPGA-implementering senere, så den eksakte oppførselen er viktig for meg. En referanseimplementering vil være tilstrekkelig, men bør helst være så enkel som mulig - dvs. jeg vil bare prøve å forstå en pipelined implementering som en siste utvei. Det som er viktig er å ha forståelse for spesifisert ISA og ikke om en eneste CPU-implementering eller kompilatorimplementering. Et eksempel for å vise problemet mitt er AUIPC-instruksjonen: Prosa-forklaringen sier at "AUIPC danner en 32-bits forskyvning fra 20-biters U-umiddelbar, og fyller ut de laveste 12 bitene med nuller, legger denne forskyvningen til pc-en, deretter plasserer resultatet i register rd. " Jeg ønsket å vite om dette refererer til den gamle eller nye PC-en, dvs. posisjonen til AUIPC-instruksjonen eller neste instruksjon. Jeg så på "RISCV Angel" -implementeringen, men det ser ut til å maskere de nedre biter av (gammel) PC - ikke bare den umiddelbare - som jeg ikke kunne finne noen grunn til i spesifikasjonen, ikke engang i endre historien til spesifikasjonen (siden Angel er litt eldre). I stedet for et svar har jeg nå to spørsmål om AUIPC. Mange andre instruksjoner utgjør lignende problemer for meg.
2021-01-16 08:16:38
AFAICT RISC-V Instruksjonsmanualen du siterer, er det som er nærmest en definitiv referanse. Hvis det er ting som er uklare eller feil der inne, kan du åpne problemer på Github-nettstedet der dokumentet vedlikeholdes: https://github.com/riscv/riscv-isa-manual
Når det gjelder AIUPC, er svaret underforstått, men ikke eksplisitt, av denne setningen nederst på side 9 i gjeldende manual:
Det er ett ekstra bruker-synlig register: programteller-pc har adressen til den gjeldende instruksjonen.
Basert på dette utsagnet, ville jeg forvente at pc-verdien som blir sett og manipulert av AIUPC-instruksjonen, er adressen til AIUPC-instruksjonen.
Denne tolkningen støttes av diskusjonen om JALR-instruksjonene:
Den indirekte hoppinstruksjonen JALR (hopp- og lenkeregister) bruker I-type koding. Måladressen oppnås ved å legge til den 12-bits signerte I-umiddelbare til registeret rs1, og deretter sette den minst signifikante biten av resultatet til null. Adressen til instruksjonen etter hoppet (pc + 4) er skrevet for å registrere rd.
Gitt at adressen til følgende instruksjon er uttrykt som pc + 4, virker det klart at pc-verdien som er synlig under utførelsen av JALR, er adressen til selve JALR-instruksjonen.
Det siste utkastet til håndboken (på https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) gjør situasjonen litt klarere. I stedet for dette i gjeldende manual:
AUIPC legger 12 nullordens nullbiter til 20-biters U-øyeblikkelig, sign-utvider resultatet til 64 bits, og legger det deretter til pc-en og plasserer resultatet i registeret rd.
det siste utkastet sier:
AUIPC danner en 32-bit forskyvning fra 20-biters U-umiddelbar, fyller ut de laveste 12 bitene med nuller, legger til denne forskyvningen til PC-en i AUIPC-instruksjonen, og plasserer deretter resultatet i register rd.
|
Ditt svar
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("externalEditor", funksjon () {
StackExchange.using ("snippets", function () {
StackExchange.snippets.init ();
});
});
}, "kodebiter");
StackExchange.ready (funksjon () {
var channelOptions = {
tagger: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", funksjon () {
// Må utløse redaktøren etter utdrag, hvis utdrag er aktivert
hvis (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets", function () {
createEditor ();
});
}
annet {
createEditor ();
}
});
funksjon createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
hjerteslagType: 'svar',
autoActivateHeartbeat: false,
convertImagesToLinks: sant,
noModals: sant,
showLowRepImageUploadWarning: true,
reputToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Drevet av \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.916 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C4.4.014.412 12.6 12.6 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.445.5 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evend = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913.566.461.56 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.125 12.222.225 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.63351724.224.17 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879 13 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z / \ u003e \ u003cpath d = M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012001. 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z \ "fill = \" # 1BB76E \ "/ \ u003e \ u003c / s ,
contentPolicyHtml: "Brukerbidrag lisensiert under \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (policy for innhold) \ u003c / a \ u003e",
allowUrls: sant
},
onDemand: sant,
discardSelector: ".discard-answer"
, umiddelbartShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Takk for at du bidro med svaret på Stack Overflow!
Sørg for å svare på spørsmålet. Gi detaljer og del din forskning!
Men unngå ...
Be om hjelp, avklaring eller svare på andre svar.
Making uttalelser basert på mening; Sikkerhetskopier dem med referanser eller personlig erfaring.
For å lære mer, se tipsene våre for å skrive gode svar.
Utkast lagret
Utkast kastet
Registrer deg eller logg inn
StackExchange.ready (funksjon () {
StackExchange.helpers.onClickDraftSave ( '# login-link');
});
Registrer deg ved hjelp av Google
Registrer deg ved hjelp av Facebook
Registrer deg ved hjelp av e-post og passord
Sende inn
Legg ut som gjest
Navn
E-post
Påkrevd, men aldri vist
StackExchange.ready (
funksjon () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-v-user-level-reference-or-reference-implementation% 23new-answer' , 'spørsmålsside');
}
);
Legg ut som gjest
Navn
E-post
Påkrevd, men aldri vist
Legg ut svaret ditt
Kast
Ved å klikke på "Legg ut svaret ditt" godtar du vilkårene for bruk, personvernregler og policy for informasjonskapsler
Er ikke svaret du leter etter? Bla gjennom andre spørsmål merket riscv eller still ditt eget spørsmål.